| Vst.-Nr. |
Veranstaltung |
Vst.-Art |
Aktion |
|
111067
|
Machine Learning for Natural Language Processing
-
Klakow
,
Trost
|
Blockseminar
|
|
|
111073
|
Knowledge representation and domain ontologies
|
Seminar
|
|
|
113151
|
Seminar: "Steuerrechtliche Herausforderungen der digitalen Wirtschaft"
-
Morsch
,
Sorge
|
Seminar
|
|
|
113561
|
Web Service Search and Composition
-
Klusch
,
Nonnengart
|
Seminar
|
|
|
113568
|
Hyperproperties
-
Finkbeiner
|
Seminar
|
|
|
113619
|
Data Privacy
-
Zhang
|
Seminar
|
|
|
113620
|
Hands-on Protocol Verification
-
Künnemann
|
Seminar
|
|
|
113621
|
Selected Topics in Formal Methods for Security
-
Jacobs
|
Seminar
|
|
|
113622
|
Joint Advances in Web Security
-
Stock
|
Seminar
|
|
|
113623
|
Usable Security
-
Krombholz
|
Seminar
|
|
|
113647
|
Probabilistic Models of Concurrency
-
Hermanns
,
Wolf
|
Seminar
|
|
|
113648
|
Advanced Topics in Knowledge Bases
-
Razniewski
|
Seminar
|
|
|
113658
|
Computational Fabrication
-
Seidel
,
Babaei
|
Seminar
|
|
|
113664
|
Foundations of Mathematics - an Introduction to Sets and Types
-
Smolka
,
Keller
|
Seminar
|
|
|
113948
|
Seminar/Hauptseminar Advances in Image Processing and Computer Vision
-
Bergerhoff
|
Seminar / Hauptseminar
|
|
|
114043
|
Reading Group in Algorithms
-
Mehlhorn
,
Vaz
|
Seminar
|
|
|
114044
|
Hardware Design
-
Reineke
,
Hahn
|
Seminar
|
|
|
114050
|
Inductive Logic Programming: a Symbolic Approach to Machine Learning
-
Tourret
|
Seminar
|
|
|
114073
|
Die elektronische Akte und der elektronische Rechtsverkehr - Technische und rechtliche Aspekte
-
Sorge
,
Krüger
|
Seminar
|
|
|
114120
|
Strafrechtliche Betrachtung von Cyberangriffen
-
Sorge
,
Krüger
,
Vogelgesang
|
Blockseminar
|
|
|
114178
|
Applied Deep Learning in the Automotive Industry and Industry 4.0
-
Klusch
,
Feld
|
Seminar
|
|
|
114188
|
Machine Learning for Big Data Systems
-
Dittrich
|
Seminar
|
|
|
116098
|
Innovative Retail Technologies
-
Krüger
,
Lessel
,
Speicher
,
Kosmalla
|
Blockseminar
|
|
|
116468
|
Advanced Program Analysis
-
Darulova
|
Blockseminar
|
|
kurz
